English translation for "compact element"

代数格
代数偏序集合
代数有向完全偏序
紧致元素

Related Translations:

compacting segment:  压实段

compact slag:  致密熔渣致密渣

compact grained:  密级配的致密粒状

compacting plant:  碾压设备压实设备

compacted soil:  夯实土紧实土壤压实土

sintering compact:  烧结坯块

tariff compact:  关税协定

pressureless compacting:  无压成型无压成形

compact flash:  小型快速闪存卡压缩缓存

compacting weight:  压紧重量

Example Sentences:

	1.	Abstract : we introduce and investigate lower homomorphisms and upper homomorphisms of generalized - continuous lattices . a necessary and sufficient condition for a mapping between compact elements of generalized - algebraic lattices to be extended to a lower homomorphism is established 文摘:引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。
	2.	When / is infinite and 6 is a compact element and with an irredundant finite join - decomposition , it is showed that a sufficient and necessary condition that the solution set is nonempty . it is also proved that there exists a minimal solution if the solution set of the equation sup t ( ai , xi ) = b is nonempty 当论域为无限集， b为紧元且有不可约有限并分解时，给出了解集非空的充要条件，证明了如果方程sup _ ( i i ) ( a _ i ， x _ i ) = b有解，则一定存在极小解。
	3.	Secondly , based on the theory of consistent l - domains and their directed completions established by professor xu , this paper proves that the set of compact elements in a consistently algebraic l - domain is an l - cusl and that the ideal completion of the set of compact elements in a consistently algebraic l - domain is isomorphic to its directed completion , which characterizes the directed completion of consistently algebraic l - domains 在徐罗山教授所建立的相容l - domain及其定向完备化理论的基础上证明了相容代数l - domain的紧元集是l - cusl ，得到了相容代数l - domain的紧元集的理想完备化与其定向完备化同构这一重要结果，从而刻化了相容代数l - domain的定向完备化。
	4.	With these concepts , the following results are obtained : ( 1 ) the set of compact elements in an algebraic l - domain is an l - cusl ; ( 2 ) algebraic l - domains equipped with scott topology are the soberification of their sets of compact elements equipped with pseudoscott topology ; ( 3 ) the ideal completion of an l - cusl is an algebraic l - domain , obtaining a representation theorem for algebraic l - domains 证明了：任一代数l - domain的紧元集是l - cusl ；任一代数l - domain是其紧元集赋予alexandrov拓扑时的sober化；任一l - cusl的理想完备化是代数l - domain ，从而得到了代数l - domain的表示定理。

Similar Words：

"compact ear built-in type hearing aid" English translation, "compact edema" English translation, "compact edge; closed edge" English translation, "compact edition" English translation, "compact efficient discharge laser" English translation, "compact embankment" English translation, "compact engine" English translation, "compact envent handler" English translation, "compact executable file" English translation, "compact executive" English translation